The condition that members of an ordered pair from a set
G
combine to yield a member of
G
.